Integrated Modeling and Analysis of Computer-Based Embedded Control Systems

Embedded real-time systems typically perform information processing that is tightly-coupled with physical processes. They are also becoming more and more distributed in order gain typical advantages of distributed processing, such as load-balancing, fault-tolerance, reduced wiring, increased responsiveness, etc. We propose an integrated approach for modeling and analysis of distributed embedded real-time systems where the embedded software and the embedding physical environment are modeled and analyzed within the same unified framework of Hybrid Automata, which is capable of modeling both the physical environment and the controller software, both of which often exhibit hybrid behavior. The proposed approach is applied to the railroad crossing problem as an application example.